#include <bits/stdc++.h>
#define int long long 
using namespace std;

const int N = 1e4+5;
int atk[N];
int cost[N];
//int dp[N][N]; // dp[i][j] 表示 花费 j 元能在前 i 个 干员获得的最大攻击力


//void solve(){
//	int n, m, B;
//	cin >> n >> m >> B;
//	for (int i=1;i<=n;i++) {
//		cin >> atk[i] >> cost[i];
//	}
//	int maxlife = 0;
//	int tmp=0;
//	for (int i=1;i<=m;i++) {
//		cin >> tmp;
//		maxlife = max(maxlife, tmp);
//	}
//	// 最主要的就是求出 B 的花费内能够获得的最大攻击力
//	// 典型的背包问题
//	for (int i=1;i<=n;i++) {
//		for (int j=1;j<=B;j++) {
//			if (j >= cost[i]) {
//				dp[i][j] = max(dp[i-1][j], dp[i-1][j-cost[i]]+atk[i]);				
//			} else {
//				dp[i][j] = max(dp[i-1][j], dp[i][j]);
//			}
//		}
//	}
//	
//	// dp[n][B] 就是能获得的最大的攻击力值
//	int attck = dp[n][B];
//	if (attck <= 0) {
//		cout << "-1" << '\n';
//		return ;
//	}
//	cout << (maxlife-1)/attck + 1 << '\n';  // 向上取整
//	return;
//}

// 上面可以解决, 但是 爆空间了, 1e8 占用空间太大

int dp[N]; // 使用滚动数组

void solve(){
	int n, m, B;
	cin >> n >> m >> B;
	for (int i=1;i<=n;i++) {
		cin >> atk[i] >> cost[i];
	}
	int maxlife = 0;
	int tmp=0;
	for (int i=1;i<=m;i++) {
		cin >> tmp;
		maxlife = max(maxlife, tmp);
	}
	// 最主要的就是求出 B 的花费内能够获得的最大攻击力
	// 典型的背包问题
	for (int i=1;i<=n;i++) {
		for (int j=B;j>=1;j--) { // 从后往前可以滚动
			if (j >= cost[i]) {
				dp[j] = max(dp[j], dp[j-cost[i]]+atk[i]);				
			} else {
				dp[j] = max(dp[j], dp[j]);
			}
		}
	}
	
	// dp[n][B] 就是能获得的最大的攻击力值
	int attck = dp[B];
	if (attck <= 0) {
		cout << "-1" << '\n';
		return ;
	}
	cout << (maxlife-1)/attck + 1 << '\n';  // 向上取整
	return;
}

signed main(){
	int t;
	t=1;
//	cin >> t;
	while(t--){
		//TODO
		solve();
	}
	
	return 0;
}
